type mytree = Empty : mytree | Node : (mytree * mytree) -> mytree

let f t
returns r where (r = 0) =
  match t with
    | Empty -> 0
end
